Software modeling and analysis using a hierarchical object-oriented Petri net
نویسندگان
چکیده
Petri net is used widely to analyze and model various systems formally. Recently, many Petri nets mania devote their eorts to enhancing and extending the expressive power of Petri nets. One such eort is to extend Petri nets with object-oriented concepts. An object-oriented paradigm provides excellent concepts to model real-world problems. Object-oriented concepts allow us to build software systems easily, intuitively, and naturally. Although several high-level Petri nets with the concept of objects are suggested, these nets do not fully support the object-oriented concepts. In this paper, we propose a hierarchical object-oriented Petri net (HOONet). The formal syntax and semantics of HOONet are explained in detail. HOONet supports a wide range of objectoriented features including abstract, encapsulated and modularized objects, object interaction by message passing, inheritance, and ploymorphism. HOONet also supports a variety of modeling and analysis mechanisms such as incremental modeling of evolving systems, unfolding the HOONet to lower level Petri net, and incremental reachability analysis for HOONet models. We demonstrate the usefulness of HOONet by applying it to modeling and analysis with an example. Ó 2000 Elsevier Science Inc. All rights reserved.
منابع مشابه
Availability evaluation of Software architecture of object oriented Style using coloured Petri nets
Software architecture is one of the most fundamental products in the process of software development in the areas of behavioral or non- behavioral features like availability or transformability change. There are different ways to evaluate software architecture one of which is the creation of application model. An executable model of software architecture is an official description of architectu...
متن کاملEnrichment of Object Oriented Petri Net and Object Z Aiming at Business Process Optimization
Software development process is on the basis of two important steps each of which has to be taken seriously, system requirement analysis and system modeling. There have been many different approaches in the literature that has their own strengths and weaknesses to tackle these two important steps, however, there is none comprehensive approach. Among them, formal methods by using their mathemati...
متن کاملA Technique for Analyzing and Testing Object-Oriented Software Using Colored Petri Nets
Object-oriented software essentially has dynamic aspect such as object creation, deletion and dynamic binding during execution. This aspect makes behavior analysis and tests of object-oriented software significantly complicated. In this paper, we propose a new technique of objectoriented software analysis and testing by using Coloured Petri Nets (CPN), which is an extended version of Perti Net,...
متن کاملFormal approach on modeling and predicting of software system security: Stochastic petri net
To evaluate and predict component-based software security, a two-dimensional model of software security is proposed by Stochastic Petri Net in this paper. In this approach, the software security is modeled by graphical presentation ability of Petri nets, and the quantitative prediction is provided by the evaluation capability of Stochastic Petri Net and the computing power of Markov chain. Each...
متن کاملA High - Level Petri Net for Incremental Speci cation of Object - Oriented System Requirements
For complementing the weakness of Petri nets in terms of naturallity, modularity, and reusability, a number of high-level Petri nets with the concepts of objects were suggested. However, it is di cult to apply these nets for the requirements speci cation of object-oriented software systems because of insu cient supporting of the object-oriented concepts. In this paper, we developed a Hierarchic...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Inf. Sci.
دوره 130 شماره
صفحات -
تاریخ انتشار 2000